| |
|
|
|
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errors and weak points in your program.
The following kinds of errors may be statically detected:null pointer exception, impermissible cast, array index out of bounds, division by zero, etc.
The following kinds of weak points may be detected:uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause, assignment of variable whose value is never used, unreachable main exit of method, etc.
Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method what actual methods are called in its body.
Additionally, for each method you may know where this method may be called.
In comparison with other static error analysers,
Wasp has two important advantages.
Wasp is able to distinguish between a definite error, a possible error (warning), and a potentially erroneous situation.
In the latter case, Wasp produces a message called conditional error that in practice appear to indicate an errorin approximately one case from five.
Wasp performs context-sensitive data flow analysis, so it is able to recognize an error that appears only for some calls of the method containing it, but does not for other ones.
All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc) that statically detect run-time errors may produceonly long lists of warnings because they can not recognize definite errors in a program due to weak analyses applied. A user has to waste much time to analyse all warnings.
Wasp has proven its ability to find subtle bugs in programs evenafter debugging and testing stages of development because Waspdetects situations of real complexity. |
| « read more about Wasp Static Error Checker 3.2 |
|
|
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » J4L-QRCode 1.0
|
| Java component (applet, class and servlet) to create QR Code (QRCode) barcodes ... |
|
| J4L Components | 48KB | Win 95/98/NT/2000 | $45 | Downloads: 1331 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Rad Upload Lite 2.00
|
| Rad Upload Lite is the free version of Rad Upload - a drag and drop file upload applet with progress monitor. The free version has all the features of the standard edition except for a lower maximum upload limit. The plus version also provides support f ... |
|
| Rad Inks (Pvt) Ltd. | 67KB | Win 95/98/ME/NT/2000/XP | $0.00 | Downloads: 1359 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/Javadoc 1.2
|
| DocFlex/Javadoc is a doclet extension for Javadoc Tool which generates Java API documentation (or various output files) using templates in different output formats. ** KEY FEATURES ** (*) The high quality graphic Template Designer represents the whole Do ... |
|
| FILIGRIS WORKS | 2376KB | Not Applicable | $198 | Downloads: 1293 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Allbuttons Web Menu builder 2.1
|
| With AllButtons, you can create professional buttons and menus for your website fast and easily. All the web buttons and web menus, you can now make yourself in no-time. Create drop-down menus, navigation bars, and sub menus in minutes. Create your own ... |
|
| Allbuttons | 1,445KB | Win 95/98/ME/NT/2000/XP | $29.95 | Downloads: 1664 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/Doclet 1.2
|
| DocFlex/Doclet is a freeware edition of DocFlex/Javadoc. It provides only output generator and interprets the basic templates embedded into the executable Java library as resources. The provided templates allow to generate Java API documentation in HTML ... |
|
| FILIGRIS WORKS | 723KB | Not Applicable | | Downloads: 1436 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » TreeTable 2.01
|
| This Java applet combines both table (grid) view and tree view. So you can hierarchically organize your data and still have multiple columns to display not only node name, but also some properties of the item. Grid is editable, sortable, supports XML, d ... |
|
| Scand | 168KB | Win 98/ME/NT/2000/XP/CE | $250 | Downloads: 2830 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » jPDFWriter 2.00
|
| Generate Adobe Acrobat PDF © documents directly from your java programs. jPDFPrinter is a 100% java class library that allows you to create PDF documents without any modifications to your printing code. By extending the standard java classes that handle p ... |
|
| Qoppa Software | 40KB | Win 3.x/95/98/ME/NT/2000/XP | $250 | Downloads: 1363 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » AWTX JTree 2.6.2
|
| JTree can load its content from XML and supports dynamical loading of sub-nodes. Just take your data from database or file, and JTree will display it in the best way in Web-browser or Java application, providing comfortable and powerful functionality to n ... |
|
| Scand LLC | 154KB | Win 3.x/95/98/ME/NT/2000/XP | $149 | Downloads: 2781 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JBalloonToolTip 1.1
|
| jBalloon is the first true java implementationof balloon-like tooltips. It allows you to combine the whole power of old-fashioned java tooltips(font, color, size, html formating, etc.) andmodern ballon-like layout. ... |
|
| jballoon.net | 29KB | Win 95/98/2000/XP | | Downloads: 1405 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/Together 1.x
|
| DocFlex/Together is a new generation template-driven documentation generator for Borland® Together® based on DocFlex Technology. Created by the authors of the old template-based `GenDoc` module in Together (developed during 1998-2000, yet in TogetherSof ... |
|
| FILIGRIS WORKS | 3459KB | Not Applicable | $387 | Downloads: 1278 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » TFTP Package 1.5
|
| Java library for developing TFTP clients and servers; supports all standard features of the protocol, including option negotiation, as well as the implementation of custom features ... |
|
| LCM Software | 72.09KB | Not Applicable | $9.95 | Downloads: 1180 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » 2D/3D Horizontal Bar Graph Software 4.6
|
| This 2D / 3D Horizontal Bar Graph provides both a client and server side solution for the incorporation of bar graphs into web pages. It provides versatile components so that web authors and Java developers can easily build and publish dynamic and inter ... |
|
| Sirius Computer Consultants Limited | 308KB | Win 3.x/95/98/ME/NT/2000/XP/CE | $49 | Downloads: 1638 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Javascript Obfuscator 2.22
|
| Stop theft of your JavaScript sources! Javascript Obfuscator converts the JavaScript source code into scrambled and completely unreadable form, preventing it from analysing and theft. Javascript Obfuscator can * process javascript tags in html files an ... |
|
| Javascript-Source.com | 414KB | Win 95/98/ME/NT/2000/XP | $29.95 | Downloads: 1292 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Happy Trad-3D2 Ticker Menu 1.30
|
| Easy-to-use ticker menu to guide people through your pages. Messages of your choice display one after the other, and each message can be hyperlinked as a menu item. Horizontally laid out menu. The Trad-3D2 design is a variation on the conventional raised ... |
|
| Image Intelligence Software Ltd. | 51KB | Win 98/ME/2000/XP/CE | $29 | Downloads: 1267 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » The Live Auction / Reverse Auction 1.2
|
| The real-time B2B e-commerce software, which is the most effective negotiation tool operating between You-Customers or You-Suppliers. Auction is the best choice of secure, reliable, transparent, efficient & fast. It is a very powerful program using the ... |
|
| Scaneast Co.,Ltd. | Unknown | Win 95/98/ME/NT/2000/XP | | Downloads: 1222 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Free Java 1.01_T2004.08.28
|
| The Java developer is ideal for beginners, based on J2SDK 1.3 version, that`s whyit can be runned on all the operation systems except Windows. Its editor shows the codewith syntax highlight, it has redo-undo function. The work is easy with the structure ... |
|
| Tibor Belovai | 572KB | Win 95/98/ME/NT/2000/XP | 0 | Downloads: 1272 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Visual Java/SWING Components Library 2.3
|
| Eltima Java Components greatly extend the set of components available in standard visual library, bringing a whole lot of new ways to present your creativity to your customers and clients. Make your software look different! No routine coding – utilize ... |
|
| ELTIMA Software GmbH | 399KB | Win 3.x/95/98/ME/NT/2000/XP/CE | $99.95 | Downloads: 1212 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JDOC2CHM 2.5
|
| JDoc2CHM is a conversion tool which translates Javadoc documentation to Microsoft Compiled HTML Help file. It will be able to compile almost any standard generated Javadoc documentations, including the Java API Documentation. Why to convert JavaDoc to CH ... |
|
| HotWind Software | 1595KB | Win 95/98/ME/NT/2000/XP | $19.95 | Downloads: 1363 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Mouse Gestures 1.2
|
| Mouse Gestures is an open source (LGPL) pure Java library for recognition and processing mouse gestures. With Mouse Gestures you have a fast way to execute commands without using the keyboard, menus or toolbars. The user just holds down a mouse button ... |
|
| Smardec | 44KB | Not Applicable | | Downloads: 1232 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » ObjectDB for Java/JDO - Free Edition 1.00
|
| ObjectDB for Java/JDO is a powerful yet compact Object Database (ODBMS) for Java, written entirely in Java, and compliant with the Java Data Objects (JDO) standard developed by Sun. ObjectDB for Java/JDO is designed to efficiently handle databases of va ... |
|
| ObjectDB Software | 1872KB | Win 95/98/ME/NT/2000/XP/CE | 0 | Downloads: 1352 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
